José Bacelar Almeida's Documents

José Bacelar Almeida's Documents

Rigorous Software Development: An Introduction to Program Verification

Rigorous Software Development: An Introduction to Program Verification
Read more
Nonlinear Source Separation (Synthesis Lectures on Signal Processing)

Nonlinear Source Separation (Synthesis Lectures on Signal Processing)
Read more
Autonomous Robotic Systems

Autonomous Robotic Systems
Read more
The Best of Weird Tales 1923

The Best of Weird Tales 1923
Read more
Equine Respiratory Medicine and Surgery

Equine Respiratory Medicine and Surgery
Read more
Cognition, Vol. 7, No. 1

Cognition, Vol. 7, No. 1
Read more
Manual of Canine and Feline Cardiology

Manual of Canine and Feline Cardiology
Read more
Pentaho Solutions: Business Intelligence and Data Warehousing with Pentaho and MySQL

Pentaho Solutions: Business Intelligence and Data Warehousing with Pentaho and MySQL
Read more
Power System Harmonics

Power System Harmonics
Read more
Computer Analysis of Power Systems

Computer Analysis of Power Systems
Read more
Cognition, Vol. 5, No. 3

Cognition, Vol. 5, No. 3
Read more
Cognition, Vol. 6, No. 2

Cognition, Vol. 6, No. 2
Read more
Practical Guide to Respirator Usage in Industry, Second Edition

Practical Guide to Respirator Usage in Industry, Second Edition
Read more
Cognition, Vol. 7, No. 4

Cognition, Vol. 7, No. 4
Read more
Cognition, Vol. 8, No. 3

Cognition, Vol. 8, No. 3
Read more
Mijn Kop Vol Muziek

Mijn Kop Vol Muziek
Read more
Power System Harmonics

Power System Harmonics
Read more
Death and Medical Power

Death and Medical Power
Read more
Een Baby in Een Pakje

Een Baby in Een Pakje
Read more
Assessing Impact: Handbook of EIA and SEA Follow-up

Assessing Impact: Handbook of EIA and SEA Follow-up
Read more
CONCUR '99, Concurrency Theory, 10 conf

CONCUR '99, Concurrency Theory, 10 conf
Read more
Computer Modelling of Electrical Power Systems

Computer Modelling of Electrical Power Systems
Read more
Dermatologia (Spanish)

Dermatologia (Spanish)
Read more
The Cambridge Handbook of Linguistic Code-switching (Cambridge Handbooks in Language and Linguistics)

The Cambridge Handbook of Linguistic Code-switching (Cambridge Handbooks in Language and Linguistics)
Read more
Intelligent educational machines: methodologies and experiences

Intelligent educational machines: methodologies and experiences
Read more
The Sun, the Solar Wind, and the Heliosphere

The Sun, the Solar Wind, and the Heliosphere
Read more
The Cambridge Handbook of Linguistic Code-switching (Cambridge Handbooks in Language and Linguistics)

The Cambridge Handbook of Linguistic Code-switching (Cambridge Handbooks in Language and Linguistics)
Read more
Exploring Frontiers of the Mind-Brain Relationship

Exploring Frontiers of the Mind-Brain Relationship
Read more
Experimental Robotics V: The Fifth International Symposium Barcelona, Catalonia, June 15-18, 1997 (Lecture Notes in Control and Information Sciences) (v. 5)

Experimental Robotics V: The Fifth International Symposium Barcelona, Catalonia, June 15-18, 1997 (Lecture Notes in Control and Information Sciences) (v. 5)
Read more
Cancer: Basic Science and Clinical Aspects

Cancer: Basic Science and Clinical Aspects
Read more